TITOLO ASSEGNO: COMPOSITIONAL AND EFFECTFUL PROGRAM DISTANCES

PROGETTO DI RICERCA.

I laureati selezionati si occuperanno di studiare nozioni di distanza per programmi con effetti che siano calcolabili in modo composizionale, seguendo quindi la struttura sintattica dei programmi. Particolare enfasi sarà data a programmi che producano effetti probabilistici o quantistici. Questi assegni di ricerca sono finanziati dal progetto FARE 2021 dal titolo "Compositional and Effectful Program Distances".

PIANO DI ATTIVITA'.

I laureati selezionati si occuperanno nei dodici mesi dei due assegni di:
- Studiare i linguaggi di programmazione all'ordine superiore con effetti quantistici e probabilistici.
- Definire per essi nozioni di distanza basate sulle relazioni logiche, sulla semantica denotazionale e sulla semantica dei giochi.
- Studiare l'applicabilità di tali nozioni di distanza a coppie di programmi concreti e a trasformazioni di programmi note dalla letteratura.